Beyond tool-specific machine descriptions
نویسنده
چکیده
When developing software for embedded systems, the set of essential tools includes a compiler and an instruction set simulator. Since software and hardware are often designed in parallel, the tools must be easily adaptable to the changing target architecture. For the compiler, its back-end (the code generator) must be retargetable. Abstraction from the target machine is the key to an automated approach. Additionally , abstraction from tool-internal strategies permits the utilization of a uniied machine description for all tools. In this chapter, the machine description formalism nML is presented along with the retargetable code generator Cbc and the instruction set simulation environment Sigh/Sim.
منابع مشابه
Investigating the Effect of the Deep Cryogenic Heat Treatment on the Mechanical Properties and Corrosion Behavior of 1.2080 Tool Steel
Deep cryogenic heat treatment is assumed as a supplementary heat treatment performed on steels before the final tempering treatment to enhance the wear resistance and hardness of the steels. In this study, the effects of the deep cryogenic heat treatment on the wear behavior and corrosion resistance of the 1.2080 tool steel were studied using the wear testing machine and polarization and impeda...
متن کاملGenerating Logic Descriptions for the Automated Interpretation of Topographic Maps
Automating the interpretation of a map in order to locate some geographical objects and their relations is a challenging task, which goes beyond the transformation of map images into a vectorized representation and the recognition of symbols. In this work, we present an approach to the automated interpretation of vectorized topographic maps. It is based on the generation of logic descriptions o...
متن کاملOptimum Swept Angle Estimation based on the Specific Cutting Energy in Milling AISI 1045 Steel Alloy
Mechanical machining processes are common manufacturing strategies to re-shape materials to desired specification. The mechanistic approach has revealed the mechanics of the machining processes with various parameters determined. The aim of this work is to investigate the impact of swept angle optimization and their influence on the specific cutting energy in milling AISI 1045 steel alloy. This...
متن کاملA Corpus of Natural Multimodal Spatial Scene Descriptions
We present a corpus of multimodal spatial descriptions, as commonly occurring in route giving tasks. Participants provided natural spatial scene descriptions with speech and abstract deictic/iconic hand gestures. The scenes were composed of simple geometric objects. While the language denotes object shape and visual properties (e.g., colour), the abstract deictic gestures “placed” objects in ge...
متن کاملSAGA-ML: An Active Learning System for Semiautomated Gameplay Analysis
We present SAGA-ML, an active learning system for blackbox software testing. In our approach, labelled examples are obtained by sampling from the space of initial system states and user actions, and then running the blackbox to obtain the labels. This training set is then used to learn a model of the system’s behaviour. Once a model has been learned, it is used to determine where further sampli...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994